homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
A skeletal groupoid is a (usually: small) strict category (i.e. equipped with a definite set of objects) which is both a groupoid and skeletal category.
In other words, this means that a skeletal groupoid is a (strict) groupoid for which, equivalently:
all morphisms are automorphisms of some object,
all connected components are delooping groupoids , namely of the automorphism group on the unique object in that connected components,
and so skeletal groupoids are exactly (namely: up to isomorphism) the disjoint unions of delooping groupoids:
As discussed at skeletal category (and in much detail here at Introduction to Topology – 2), if the axiom of choice holds in the underlying category of Sets then every groupoid is equivalent as a category — hence homotopy equivalent as a homotopy 1-type — to a skeletal groupoid, and to an essentially unique one, up to isomorphism of strict groupoids:
As indicated on the right, this skeletalization of extracts its homotopy groups: The set of objects of the skeleton is the set of connected components, and the automorphism group at a given object is the fundamental group at that basepoint.
The 1-category of skeletal groupoids is (see there) equivalently the free coproduct completion of the category Grp of groups.
See also the general references at skeletal category, such as
Discussion of colimits over certain diagrams of the shape of skeletal groupoids and regarded as generalized coproducts (quasi-coproducts):
Characterization of skeletal groupoids as the “trivial objects” with respect to a pretorsion theory on Cat:
Last revised on June 5, 2023 at 11:41:17. See the history of this page for a list of all contributions to it.